Reducing Behavioural to Structural Properties of Programs with Procedures Dilian Gurov1? and Marieke Huisman2?? 1 Royal Institute of Technology, Stockholm, Sweden

Source URL: www.csc.kth.se

Reducing Behavioural to Structural Properties of Programs with Procedures Dilian Gurov1? and Marieke Huisman2?? 1 Royal Institute of Technology, Stockholm, Sweden

Source URL: www.nada.kth.se

ProMoVer: Modular Verification of Temporal Safety Properties Siavash Soleimanifard1 , Dilian Gurov1 , and Marieke Huisman2 1 Royal Institute of Technology, Stockholm, Sweden

Source URL: www.nada.kth.se

Automated Black-Box Testing of Functional Correctness using Function Approximation [Extended Abstract] Karl Meinke Department of Numerical Analysis and Computer Science Royal Institute of Technology

Source URL: www.nada.kth.se

A Stochastic Theory of Black-Box Software Testing Karl Meinke School of Computer Science and Communication, Royal Institute of Technology, Stockholm, Sweden

Source URL: www.nada.kth.se

Algorithmic Verification of Procedural Programs in the Presence of Code Variability Siavash Soleimanifard and Dilian Gurov KTH Royal Institute of Technology, Stockholm, Sweden {siavashs,dilian}@csc.kth.se

Source URL: www.nada.kth.se

L AC ASA: Lightweight Affinity and Object Capabilities in Scala Philipp Haller Alex Loiko KTH Royal Institute of Technology, Sweden

Source URL: www.csc.kth.se

S-NOTATION: A COMPLETE MUSICAL NOTATION SYSTEM FOR SCRATCHING AND SAMPLE MUSIC DERIVED FROM “THEORY OF MOTIONS” Kjetil Falkenberg Hansen KTH Royal Institute of Technology Södertörn University

Source URL: tenor2016.tenor-conference.org

In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden Abstract

Source URL: www2.lingfil.uu.se

• Logic
• Mathematical logic
• Theoretical computer science
• Natural language processing
• Formal methods
• Computability theory
• Artificial intelligence
• Decidability
• First-order logic
• Natural language understanding
• Natural language user interface
• Entityrelationship model

IMPROVED MODELING OF AUDIO SIGNALS BY MODIFYING TRANSIENT LOCATIONS Renat Vafin1 , Richard Heusdens2 , Steven van de Par3 , W. Bastiaan Kleijn1 1 Department of Speech, Music and Hearing KTH (Royal Institute of Technology

Source URL: www.mp3-tech.org

• Signal processing
• Electrical engineering
• Engineering
• Mathematical analysis
• Transient
• Window function
• Image segmentation
• Wavelet
• Sub-band coding